#include <stdio.h>
int main()
{
	int n,i;
	scanf("%d",&n);
	if(n>=2004 && n<2100)
	{
		for(i=2004;i<=n;i++)
		{
			if(i%400==0 || (i%100!=0 && i%4==0))
			printf("%d\n",i);
		}
	}
	else if(n>=2001 && n<=2003)
	printf("None");
	else 
	printf("Invalid year!");
	return 0;
}
